Belief Base Revision for Datalog+/- Ontologies
نویسندگان
چکیده
Datalog+/is a family of emerging ontology languages that can be used for representing and reasoning over lightweight ontologies in Semantic Web. In this paper, we propose an approach to performing belief base revision for Datalog+/ontologies. We define a kernel based belief revision operator for Datalog+/and study its properties using extended postulates, as well as an algorithm to revise Datalog+/ontologies. Finally, we give the complexity results by showing that query answering for a revised linear Datalog+/ontology is tractable.
منابع مشابه
A General Framework for Inconsistency-tolerant Query Answering in Datalog +/-
Inconsistency management in knowledge bases is an important problem that has beenstudied for a long time. During the recent years, additional interest in this topic has been sparkedwith the advent of the Semantic Web. In this paper, we study different semantics for query answer-ing in inconsistent Datalog+/– ontologies. Datalog+/– is a family of ontology languages that is inpart...
متن کاملBase Revision in Description Logics - Preliminary Results
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems.
متن کاملFirst Steps Towards Revising Ontologies
When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Revision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards applying belief revision methods to ontologies based on description logics. We depart from the well known AGM-paradigm and show how it can be...
متن کاملBase Revision for Ontology Debugging
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies in ontologies represented in some description lo...
متن کاملDynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. In order to apply the rationality result of belief dynamics theory to various practical problems, it should be generalized in two respects: first it should allow a certain part of belief to be declared as immutable; and second, the belief sta...
متن کامل